|
|
Assemblage and testing of the device for water ozonizing and its application for silicon wafer cleaning
Ředina, Dalibor ; Mikulík, Petr (referee) ; Voborný, Stanislav (advisor)
Deionised-ozonated water, so-called DIO3 appears to be an ideal alternative for usage in semiconductor industry. The utilisation of DIO3 for removal of photoresist from silicon wafers is faster, cheaper, and more environmental-friendly compared to classical technology based on mixture of sulphuric acid with hydrogen peroxide, so-called SPM. The diploma thesis deals firstly with research into ozone and ozonated water and their possible applications. Next sections describe two prototypes of generators for DIO3, that were assembled in CSVG a.s. Testing of parameters for generators on dissolved-ozone concentration is also a part of this thesis. Moreover, thesis involves tests, that were carrier out in ON Semiconductor in Rožnov pod Radhoštěm. These tests compare efficiency of cleaning by classical technology based on SPM and DIO3 approach.
|
|
|
Decompilation of High-Level Constructions in C++ Binaries
Jakub, Dušan ; Křivka, Zbyněk (referee) ; Matula, Peter (advisor)
The thesis addresses the decompilation of high-level object-oriented C++ language from a machine code. The term reverse engineering is defined and existing decompilers are described with emphasis on their ability to reconstruct C++. AVG decompiler project is introduced, to which this thesis contributes. C++ language is analysed, both on a logical level and in the machine code and existing methods of decompilation are described. On this basis a novel method is introduced, capable of decompiling classes, their hierarchy, constructors, destructors and definitions and usages of virtual methods. The method is implemented, tested and evaluated. In the conclusion, several suggestions for future development of this project are presented.
|
|
|
Assemblage and testing of the device for water ozonizing and its application for silicon wafer cleaning
Ředina, Dalibor ; Mikulík, Petr (referee) ; Voborný, Stanislav (advisor)
Deionised-ozonated water, so-called DIO3 appears to be an ideal alternative for usage in semiconductor industry. The utilisation of DIO3 for removal of photoresist from silicon wafers is faster, cheaper, and more environmental-friendly compared to classical technology based on mixture of sulphuric acid with hydrogen peroxide, so-called SPM. The diploma thesis deals firstly with research into ozone and ozonated water and their possible applications. Next sections describe two prototypes of generators for DIO3, that were assembled in CSVG a.s. Testing of parameters for generators on dissolved-ozone concentration is also a part of this thesis. Moreover, thesis involves tests, that were carrier out in ON Semiconductor in Rožnov pod Radhoštěm. These tests compare efficiency of cleaning by classical technology based on SPM and DIO3 approach.
|
|
|
Competitive filling of a plane region
Slabý, David ; Valtr, Pavel (advisor) ; Valla, Tomáš (referee)
Two players take alternating turns filling a rectangular board with unit squares without rotation, but may be otherwise arbitrary. Squares may not overlap and the game ends when there is no space for the next one. The result of the game is the number of turns. The constructor aims to maximize this quantity while the destructor wants to minimize it. We would like to get close to this value, provided that both players use their optimal strategy. We prove some new lower and upper bound for the game. This thesis extends results given by Tamás Hubai in his paper Competitive rectangle filling. Furthermore, we have a look at other board shapes and shapes to fill with.
|
|
|
Decompilation of High-Level Constructions in C++ Binaries
Jakub, Dušan ; Křivka, Zbyněk (referee) ; Matula, Peter (advisor)
The thesis addresses the decompilation of high-level object-oriented C++ language from a machine code. The term reverse engineering is defined and existing decompilers are described with emphasis on their ability to reconstruct C++. AVG decompiler project is introduced, to which this thesis contributes. C++ language is analysed, both on a logical level and in the machine code and existing methods of decompilation are described. On this basis a novel method is introduced, capable of decompiling classes, their hierarchy, constructors, destructors and definitions and usages of virtual methods. The method is implemented, tested and evaluated. In the conclusion, several suggestions for future development of this project are presented.
|
guest ::
